I. Shehtman: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On squares of modal logics with additional connectives

Journal:

Proceedings of the Steklov Institute of Mathematics

Year:

2011

Language:

english

File:

PDF, 1.21 MB

english, 2011

2

First-Order Modal Logic, M. Fitting and R.L. Mendelsohn

Valentin Shehtman

Journal:

Journal of Logic, Language and Information

Year:

2001

Language:

english

File:

PDF, 29 KB

english, 2001

3

Evaluation of Effectiveness of Separating Layers in Railroad Track Structure Using Life Cycle Cost Analysis

Beltiukov, Vladimir, Shehtman, Eugeny, Malikov, Oleg

Journal:

Procedia Engineering

Year:

2017

Language:

english

File:

PDF, 297 KB

english, 2017

4

Maximal Kripke-type semantics for modal and superintuitionistic predicate logics

D.P Skvortsov, V.B Shehtman

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 2.21 MB

english, 1993

5

Modal Logics of Domains on the Real Plane

Journal:

Year:

1983

Language:

english

File:

PDF, 1.81 MB

english, 1983

6

Undecidability of Modal and Intermediate First-Order Logics with Two Individual Variables

D. M. Gabbay and V. B. Shehtman

Journal:

Journal of Symbolic Logic

Year:

1993

Language:

english

File:

PDF, 1.35 MB

english, 1993

7

Intermediate Logics || Logics of Some Kripke Frames Connected with Medvedev Notion of Informational Types

V. B. Shehtman and D. P. Skvortsov

Journal:

Year:

1986

Language:

english

File:

PDF, 2.06 MB

english, 1986

8

Ionic Conductivity of Li6Ge2O7 and its Solid Solutions

Burmakin, E.I., Shehtman, G.Sh., Alikin, V.N.

Journal:

Materials Science Forum

Year:

1991

File:

PDF, 288 KB

1991

9

Logics of some kripke frames connected with Medvedev notion of informational types

V. B. Shehtman, D. P. Skvortsov

Journal:

Year:

1986

Language:

english

File:

PDF, 998 KB

english, 1986

10

Review: Set Theory

Journal:

Journal of Logic and Computation

Year:

2005

Language:

english

File:

PDF, 57 KB

english, 2005

11

Review: Model Theory: An Introduction

Journal:

Journal of Logic and Computation

Year:

2005

File:

PDF, 53 KB

2005

12

Dentact for Evaluating Mandibular and Maxillary Invasion in Cancer of the Oral Cavity

J. Bar-ziv, A. Eyal, Y. P. Talmi, R. Yahalom, I. Shehtman, S. Teicher, J. Kronenberg

Year:

1996

Language:

english

File:

PDF, 9.10 MB

english, 1996

13

MicroRNAs as predictors for CNS relapse of systemic diffuse large B-cell lymphoma

Pillar, Nir, Bairey, Osnat, Goldschmidt, Neta, Fellig, Yakov, Rosenblat, Yevgenia, Shehtman, Itchak, Haguel, Danielle, Raanani, Pia, Shomron, Noam, Siegal, Tali

Journal:

Year:

2017

Language:

english

File:

PDF, 2.08 MB

english, 2017

14

The effect of a moderate-temperature annealing on the structure and temperature of a superconductive conversion of ceramics YBa2Cu3Oy

V.F. Degtyaryova, O.V. Zharikov, I.N. Kremenskaya, M.A. Nevedomskaya, R.K. Nikolayev, Yu.A. Osipian, A.V. Palnichenko, N.S. Sidorov, V.Sh. Shehtman

Journal:

Solid State Communications

Year:

1989

Language:

english

File:

PDF, 199 KB

english, 1989

15

Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable

Valentin Shehtman

Journal:

Year:

1990

Language:

english

File:

PDF, 1.04 MB

english, 1990

16

A cryogenic magnetic detector for storage ring experiments

L.M. Barkov, G.A. Blinov, V.S. Okhapkin, N.M. Ryskulov, A.I. Shehtman, V.P. Smakhtin, E.P. Solodov, B.I. Hazin, V.M. Horev, V.N. Zaitsev

Journal:

Nuclear Instruments and Methods in Physics Research

Year:

1983

Language:

english

File:

PDF, 330 KB

english, 1983

17

Squares of modal logics with additional connectives

Shehtman, Valentin B

Journal:

Russian Mathematical Surveys

Year:

2012

Language:

english

File:

PDF, 981 KB

english, 2012

18

Bisimulation games and locally tabular logics

Journal:

Russian Mathematical Surveys

Year:

2016

Language:

english

File:

PDF, 360 KB

english, 2016

19

Modal logics of domains on the real plane

Journal:

Year:

1983

Language:

english

File:

PDF, 1.08 MB

english, 1983

20

Products of modal logics and tensor products of modal algebras

Gabbay, Dov, Shapirovsky, Ilya, Shehtman, Valentin

Journal:

Journal of Applied Logic

Year:

2014

Language:

english

File:

PDF, 374 KB

english, 2014

21

Influence of iron and copper consumption on weight gain and oxidative stress in adipose tissue of Wistar rats

Tinkov, Alexey A., Ajsuvakova, Olga P., Shehtman, Alexandr M., Boev, Viktor M., Nikonorov, Alexandr A.

Journal:

Interdisciplinary Toxicology

Year:

2012

Language:

english

File:

PDF, 1012 KB

english, 2012

22

Sonographic appearance of uterine lymphoma: Case report and review of the literature

Hadi, Efrat, Bruchim, Ilan, Helman, Ilana, Shehtman, Itshak, Stackievicz, Rodica, Tepper, Ronnie, Hershkovitz, Reli

Journal:

Journal of Clinical Ultrasound

Year:

2014

Language:

english

File:

PDF, 385 KB

english, 2014

23

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics

Dov Gabbay, Valentin Shehtman

Journal:

Year:

2002

File:

PDF, 945 KB

2002

24

Many-Dimensional Logical Systems || Products of Modal Logics. Part 3: Products of Modal and Temporal Logics

Dov Gabbay and Valentin Shehtman

Journal:

Year:

2002

Language:

english

File:

PDF, 1.81 MB

english, 2002

25

Tribological Properties of Multilayer Coatings for Cutting Tool

Migranov, M. Sh., Migranov, A. M., Minigaleev, S. M., Shehtman, S. R.

Journal:

Journal of Friction and Wear

Year:

2018

Language:

english

File:

PDF, 322 KB

english, 2018

26

« Everywhere » and « here »

Shehtman, Valentin

Journal:

Journal of Applied Non-Classical Logics

Year:

1999

Language:

english

File:

PDF, 560 KB

english, 1999

27

Editorial

Journal:

Journal of Logic and Computation

Year:

2006

Language:

english

File:

PDF, 33 KB

english, 2006

28

PATH-10. MicroRNAs AS PREDICTORS FOR CNS RELAPSE OF SYSTEMIC DIFFUSE LARGE B-CELL LYMPHOMA

Pillar, Nir, Bairey, Osnat, Goldschmidt, Neta, Fellig, Yakov, Rosenblat, Yevgenia, Shehtman, Itchak, Haguel, Danielle, Raanani, Pia, Siegal, Tali

Journal:

Year:

2017

Language:

english

File:

PDF, 86 KB

english, 2017

29

Foreword

Shehtman, Valentin

Journal:

Journal of Applied Non-Classical Logics

Year:

2007

Language:

english

File:

PDF, 53 KB

english, 2007

30

Prenatal ultrasonographic diagnosis of fetal hydrocephalus due to infection with parainfluenza virus type 3

D. S. Seidman, D. Nass, E. Mendelson, I. Shehtman, S. Mashiach, Dr R. Achiron

Journal:

Ultrasound in Obstetrics & Gynecology

Year:

1996

File:

PDF, 436 KB

1996

31

[IEEE 2012 XXVth International Symposium on Discharges and Electrical Insulation in Vacuum (ISDEIV 2012) - Tomsk, Russia (2012.09.2-2012.09.7)] 2012 25th International Symposium on Discharges and Electrical Insulation in Vacuum (ISDEIV) - Create multi-layer vacuum ion-plasma coatings based on Ti-C-Si in an additional ion bombardment

Shehtman, S. R., Mukhin, V. S., Kireev, R. M.

Year:

2012

Language:

english

File:

PDF, 311 KB

english, 2012

32

First-Order Modal Logicby M. Fitting; R. L. Mendelsohn

Review by: Valentin Shehtman

Journal:

Journal of Logic, Language and Information

Year:

2001

Language:

english

File:

PDF, 431 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски